<?php

  interface IFile {

    function close();

    function delete($filename = "");
    
    function endOfStream();
    
    function exists($filename = "");
  }

?>